Proof-theoretic Semantics for First-order Logic
arxiv.org·2d
🐫OCaml
Coding with LLMs in the summer of 2025 (an update)
antirez.com·1h·
Discuss: Lobsters, Hacker News
🐫OCaml
Unveiling the Secrets of Multivariable Calculus: Partial Derivatives, Chain Rule, and Machine Learning
dev.to·10h·
Discuss: DEV
📈Optimization
Go seems to accomplish the Zen of Python way better than Python
reddit.com·2d·
Discuss: r/golang
🪶suckless
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·3d·
Discuss: Hacker News
🕸️WASM
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·2d
🔍Parsers
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·2d
🐫OCaml
The borrowchecker is what I like the least about Rust
viralinstruction.com·17h·
Discuss: Lobsters, Hacker News
0️⃣Zero-Copy
Python Fundamentals: case
dev.to·3d·
Discuss: DEV
🔍Parsers
Tips for Writing Clean Code in TensorFlow 2
hackernoon.com·3h
🦀Rust
Machine Learning Fundamentals: ensemble learning example
dev.to·19h·
Discuss: DEV
🐫OCaml
The Power of HTML - Part 22: The Future of HTML: WebAssembly, AI Integration, and Predictions
dev.to·51m·
Discuss: DEV
🕸️WASM
I avoid using LLMs as a publisher and writer
lifehacky.net·1d·
Discuss: Hacker News
🔍Parsers
Day 28/100: List Comprehensions in Python
dev.to·2d·
Discuss: DEV
🔍Parsers
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·3d
🐫OCaml
Vibe coding complex changes in Rust
youtube.com·1d
🦀Rust
C++ Trailing Return Types (2022)
danielsieger.com·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🐫OCaml
I built a self-hosted Telegram AI assistant to keep my Gemini API key private. It's now open-source for everyone.
dev.to·22h·
Discuss: DEV
🐫OCaml
Math Fractions Teacher Helper
dev.to·9h·
Discuss: DEV
🔍Parsers
Parsing Protobuf Like Never Before
mcyoung.xyz·4d·
Discuss: Lobsters, Hacker News, r/programming
🕸️WASM